Nuprl Definition : fappend
4,23
postcript
pdf
f
[
n
:=
x
](
i
) == if
i
=
n
x
else
f
(
i
) fi
latex
Definitions
if
b
t
else
f
fi
,
i
=
j
FDL editor aliases
fappend
origin